Induction Proof Example